Controller Design of DES Petri Nets with Mixed Constraint

Supervisory controller design for timed-place Petri nets

Using Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)

A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...

Controller Synthesis By Petri Nets Modeling

In this paper, we present two different methods for the synthesis of a simplified controller using Petri Nets. The supervisory control theory presented by Ramadge and Wonham is adapted to Petri nets modeling. Uncontrollable transitions in discrete event systems are the cause of forbidden states in supervisory control. This paper concerns the problem of forbidden states in safe Petri Net. We pre...

Decentralized Control of Petri Nets with Constraint Transformations

Supervision based on place invariants (SBPI) has been effectively used for the centralized supervisory control of Petri nets. In the SBPI approach, specifications are classified as admissible or inadmissible, and inadmissible specifications are enforced by transforming them first to a (more restrictive) admissible form. This paper considers the transformation to admissible specifications in a d...

Hardware Design and Petri Nets

The main purpose of this article is to present how Petri Nets (PNs) have been used for hardware design at our research laboratory. We describe the use of PN models to specify synchronous parallel controllers and how PN speci cations can be extended to include the behavioural description of the data path, by using object-oriented concepts. Some hierarchical mechanisms which deal with the speci c...